Francez, Nissim: шукати на сайті Z-Library

Журнал:

Рік:

2014

Мова:

english

Файл:

PDF, 423 KB

english, 2014

A Logic Inspired by Natural Language: Quantifiers As Subnectors

Журнал:

Francez, Nissim, Ben-Avi, Gilad

Рік:

2014

Мова:

english

Файл:

PDF, 747 KB

english, 2014

Proof-Theoretic Reconstruction of Generalized Quantifiers

Журнал:

Journal of Semantics

Рік:

2015

Мова:

english

Файл:

PDF, 2.14 MB

english, 2015

A Note on Harmony

Nissim Francez and Roy Dyckhoff

Журнал:

Рік:

2012

Мова:

english

Файл:

PDF, 1.03 MB

english, 2012

Diversification of Object-Languages for Propositional Logics

Журнал:

Tzilla Elrad, Nissim Francez

Рік:

2018

Мова:

english

Файл:

PDF, 387 KB

english, 2018

Decomposition of distributed programs into communication-closed layers

Журнал:

Nissim Francez, Mark Steedman

Рік:

1982

Мова:

english

Файл:

PDF, 1.18 MB

english, 1982

Categorial grammar and the semantics of contextual prepositional phrases

Журнал:

Ron Artstein, Nissim Francez

Рік:

2006

Мова:

english

Файл:

PDF, 616 KB

english, 2006

Plurality and Temporal Modification

Журнал:

Nissim Francez, Roy Dyckhoff, Gilad Ben-Avi

Рік:

2006

Мова:

english

Файл:

PDF, 315 KB

english, 2006

Proof-Theoretic Semantics for Subsentential Phrases

Журнал:

Ian Pratt, Nissim Francez

Рік:

2010

Мова:

english

Файл:

PDF, 293 KB

english, 2010

Temporal Prepositions and Temporal Generalized Quantifiers

Журнал:

Orna Grumberg, Nissim Francez, Johann A. Makowsky, Willem P. de Roever

Рік:

2001

Мова:

english

Файл:

PDF, 164 KB

english, 2001

A proof rule for fair termination of guarded commands

Журнал:

Information and Control

Рік:

1985

Мова:

english

Файл:

PDF, 885 KB

english, 1985

Relational Semantics of the Lambek Calculus Extended with Classical Propositional Logic

Michael Kaminski, Nissim Francez

Журнал:

Shalom Lappin and Nissim Francez

Рік:

2014

Мова:

english

Файл:

PDF, 258 KB

english, 2014

E-Type Pronouns, I-Sums, and Donkey Anaphora

Журнал:

Nissim Francez and Roy Dyckhoff

Рік:

1994

Мова:

english

Файл:

PDF, 4.16 MB

english, 1994

Proof-theoretic semantics for a natural language fragment

Журнал:

Ron Artstein and Nissim Francez

Рік:

2010

Мова:

english

Файл:

PDF, 2.37 MB

english, 2010

Plurality and Temporal Modification

Журнал:

FRANCEZ, NISSIM, BEN-AVI, GILAD

Рік:

2006

Мова:

english

Файл:

PDF, 2.62 MB

english, 2006

Contrastive Logic

FRANCEZ, NISSIM

Журнал:

Logic Journal of IGPL

Рік:

1995

Мова:

english

Файл:

PDF, 1015 KB

english, 1995

PROOF-THEORETIC SEMANTIC VALUES FOR LOGICAL OPERATORS

Журнал:

The Review of Symbolic Logic

Рік:

2011

Мова:

english

Файл:

PDF, 116 KB

english, 2011

ON THE NOTION OF CANONICAL DERIVATIONS FROM OPEN ASSUMPTIONS AND ITS ROLE IN PROOF-THEORETIC SEMANTICS

FRANCEZ, NISSIM

Журнал:

The Review of Symbolic Logic

Рік:

2015

Мова:

english

Файл:

PDF, 87 KB

english, 2015

Distributed Termination

ACM Transactions on Programming Languages and Systems

Журнал:

Рік:

1980

Мова:

english

Файл:

PDF, 776 KB

english, 1980

Modeling the distributed termination convention of CSP

Apt, Krzysztof R., Francez, Nissim

Журнал:

ACM Transactions on Programming Languages and Systems

Рік:

1984

Мова:

english

Файл:

PDF, 570 KB

english, 1984

A 'Natural Logic' Inference System Using the Lambek Calculus

Anna Zamansky, Nissim Francez and Yoad Winter

Журнал:

Francez, Nissim, Kaminski, Michael

Рік:

2006

Мова:

english

Файл:

PDF, 2.20 MB

english, 2006

A Proof-Theoretic Semantics for Exclusion

Журнал:

Logica Universalis

Рік:

2017

Мова:

english

Файл:

PDF, 647 KB

english, 2017

Bilateralism, Trilateralism, Multilateralism and Poly-Sequents

Журнал:

Рік:

2018

Мова:

english

Файл:

PDF, 497 KB

english, 2018

Proof-Theoretic Semantics for Natural Language

Журнал:

Topoi

Рік:

2019

Мова:

english

Файл:

PDF, 1.55 MB

english, 2019

Cooperating proofs for distributed programs with multiparty interactions: Information Processing Letters Vol. 32, No. 5 (22 September 1989) pp. 235-242

Information Processing Letters

Журнал:

Рік:

1990

Файл:

PDF, 38 KB

1990

Cooperating proofs for distributed programs with multiparty interactions: Information processing letters Vol. 32, No. 5 (22 September 1989) pp. 235-242

Information Processing Letters

Журнал:

Рік:

1990

Файл:

PDF, 36 KB

1990

Semantics of nondeterminism, concurrency, and communication

Nissim Francez, C.A.R. Hoare, Daniel J. Lehmann, Willem P. De Roever

Журнал:

Journal of Computer and System Sciences

Рік:

1979

Мова:

english

Файл:

PDF, 1.21 MB

english, 1979

A complete rule for equifair termination

Orna Grumberg, Nissim Francez, Shmuel Katz

Журнал:

Journal of Computer and System Sciences

Рік:

1986

Мова:

english

Файл:

PDF, 1.15 MB

english, 1986

Extended naming conventions for communicating processes

Журнал:

Nissim Francez, Brent Hailpern, Gadi Taubenfeld

Рік:

1983

Мова:

english

Файл:

PDF, 944 KB

english, 1983

Script: A communication abstraction mechanism and its verification

Журнал:

Tzilla Elrad, Nissim Francez

Рік:

1986

Мова:

english

Файл:

PDF, 2.89 MB

english, 1986

A weakest precondition semantics for communicating processes

Журнал:

Theoretical Computer Science

Рік:

1984

Мова:

english

Файл:

PDF, 1.83 MB

english, 1984

Finite-memory automata

Michael Kaminski, Nissim Francez

Журнал:

Theoretical Computer Science

Рік:

1994

Мова:

english

Файл:

PDF, 2.45 MB

english, 1994

Basic simple type theory: J. Roger Hindley, Cambridge Tracts in Theoretical Computer Science Vol. 42 (Cambridge University Press, 1997) ISBN 0 521 46518 4

Журнал:

Nissim Francez, Michael Kaminski

Рік:

1998

Мова:

english

Файл:

PDF, 244 KB

english, 1998

An algebraic characterization of deterministic regular languages over infinite alphabets

Журнал:

Theoretical Computer Science

Рік:

2003

Мова:

english

Файл:

PDF, 406 KB

english, 2003

Product properties and their direct verification

Журнал:

Nissim Francez, Amir Pnueli

Рік:

1983

Мова:

english

Файл:

PDF, 805 KB

english, 1983

A proof method for cyclic programs

Журнал:

Nissim Francez, Boris Klebansky, Amir Pnueli

Рік:

1978

Мова:

english

Файл:

PDF, 1.15 MB

english, 1978

Backtracking in recursive computations

Журнал:

Shalom Lappin, Nissim Francez

Рік:

1977

Мова:

english

Файл:

PDF, 998 KB

english, 1977

E-type pronouns, i-sums, and donkey anaphora

Журнал:

Nissim Francez, Ralph -J. J. Back, Reino Kurki-Suonio

Рік:

1994

Мова:

english

Файл:

PDF, 2.11 MB

english, 1994

On equivalence-completions of fairness assumptions

Журнал:

Formal Aspects of Computing

Рік:

1992

Мова:

english

Файл:

PDF, 580 KB

english, 1992

Fairness and the axioms of control predicates

Nissim Francez, Shmuel Katz

Журнал:

International Journal of Parallel Programming

Рік:

1987

Мова:

english

Файл:

PDF, 854 KB

english, 1987

Appraising fairness in languages for distributed programming

Krzysztof R. Apt, Nissim Francez, Shmuel Katz

Журнал:

Distributed Computing

Рік:

1988

Мова:

english

Файл:

PDF, 1.65 MB

english, 1988

Fairness and hyperfairness in multi-party interactions

Paul C. Attie, Nissim Francez, Orna Grumberg

Журнал:

Distributed Computing

Рік:

1993

Мова:

english

Файл:

PDF, 1.46 MB

english, 1993

A logic-based approach to program flow analysis

Mooly Sagiv, Nissim Francez, Michael Rodeh, Reinhard Wilhelm

Журнал:

Efrat Jaeger, Nissim Francez, Shuly Wintner

Рік:

1998

Мова:

english

Файл:

PDF, 519 KB

english, 1998

Unification Grammars and Off-Line Parsability

Журнал:

Anna Zamansky, Nissim Francez, Yoad Winter

Рік:

2005

Мова:

english

Файл:

PDF, 4.58 MB

english, 2005

A ‘Natural Logic’ inference system using the Lambek calculus

Журнал:

Nissim Francez, Roy Dyckhoff

Рік:

2006

Мова:

english

Файл:

PDF, 725 KB

english, 2006

Proof-theoretic semantics for a natural language fragment

Журнал:

Nissim Francez, Michael Kaminski

Рік:

2010

Мова:

english

Файл:

PDF, 525 KB

english, 2010

Commutation-Augmented Pregroup Grammars and Mildly Context-Sensitive Languages

Журнал:

Sharon Shoham, Nissim Francez

Рік:

2007

Мова:

english

Файл:

PDF, 326 KB

english, 2007

Game Semantics for the Lambek-Calculus: Capturing Directionality and the Absence of Structural Rules

Журнал:

Tamar Aizikowitz, Nissim Francez, Daniel Genkin, Michael Kaminski

Рік:

2008

Мова:

english

Файл:

PDF, 343 KB

english, 2008

Extending Free Pregroups with Lower Bounds

Журнал: